Publications de
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Mixed Decision Method for Duration Calculus
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 6, p. 877-895, décembre 2000.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus
Dans : Journal of Universal Computer Science, Springer-Verlag, Vol. 5 N. 11, p. 743-764, 1999.
Accès : http://www.jucs.org/jucs_5_11/a_decision_method_for
BibTeX
Tableau-based Automated Deduction for Duration Calculus
Dans : TABLEAUX 2002 (Automated Reasoning with Analytic Tableaux and Related Methods), Copenhague, Danemark, 30/07/02-01/08/02, LNAI, Springer, p. 53-69, juillet 2002.
Déduction automatique à base de tableaux en calcul des durées
Dans : Formalisation des Activités Concurrentes (FAC 2002), Toulouse, 26/03/02-27/03/02.
Déduction automatique à base de tableaux en calcul des durées
Dans : 13e Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Angers, 08/01/02-10/01/02, ., p. 299-308, janvier 2002.
Méthode de décision hybride pour le Calcul des Durées.
Dans : Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2001), Toulouse, 17/10/01-19/10/01, Hermes Science, Paris, p. 259-274, octobre 2001.
Méthode de décision hybride pour le Calcul des Durées.
Dans : Cinquièmes Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA’2000), Lyon, 11/09/00-13/09/00, ., septembre 2000.
Accès : http://www710.univ-lyon1.fr/~rjcia/papiers/Chetcuti.pdf
BibTeX
Déduction automatique en calcul des durées basée sur la méthode des tableaux
Thèse de doctorat, Université Paul Sabatier, décembre 2001.